SATySFi v0.1